- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by M. R. Krom
13 found
Order:
- The Decision Problem for a Class of First‐Order Formulas in Which all Disjunctions are Binary.M. R. Krom - 1967 - Mathematical Logic Quarterly 13 (1‐2):15-20.
- The Decision Problem for a Class of First-Order Formulas in Which all Disjunctions are Binary.M. R. Krom - 1967 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (1-2):15-20.
- The decision problem for formulas in prenex conjunctive normal form with binary disjunctions.M. R. Krom - 1970 - Journal of Symbolic Logic 35 (2):210-216.
- On Set Theoretical Operations.M. R. Krom & Yoemon Sampei - 1970 - Journal of Symbolic Logic 35 (1):146.
- Some interpolation theorems for first-order formulas in which all disjunctions are binary.M. R. Krom - 1968 - Logique Et Analyse 43 (196):8.
- Separation principles in the hierarchy theory of pure first-order logic.M. R. Krom - 1963 - Journal of Symbolic Logic 28 (3):222-236.
- William Craig. Bases for first-order theories and subtheories. The journal of symbolic logic, vol. 25 no. 2 , pp. 97–142.M. R. Krom - 1972 - Journal of Symbolic Logic 37 (3):616.
- Alfred B. Manaster. Completeness, compactness, and undecidability: An introduction to mathematical logic. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1975, vi + 154 pp. [REVIEW]M. R. Krom - 1977 - Journal of Symbolic Logic 42 (2):320.
- Review: Alfred B. Manaster, Completeness, Compactness, and Undecidability: An Introduction to Mathematical Logic. [REVIEW]M. R. Krom - 1977 - Journal of Symbolic Logic 42 (2):320-320.
- Review: Yoemon Sampei, Note on the Effective Choice of a Point in the Complement of an Analytic Set. [REVIEW]M. R. Krom - 1970 - Journal of Symbolic Logic 35 (1):146-146.
- Review: Yoemon Sampei, On the uniformization of a Set of Class $A_{rhosigma}$. [REVIEW]M. R. Krom - 1970 - Journal of Symbolic Logic 35 (1):146-147.
- Yoemon Sampei. On the uniformization of the complement of an analytic set.Commentarii mathematici Universitatis Sancti Pauli, vol. 10 , pp. 57–62. [REVIEW]M. R. Krom - 1970 - Journal of Symbolic Logic 35 (1):146.
- Yoemon Sampei. On the uniformization of a set of class Αρσ.Commentarii mathematici Universitatis Sancti Pauli, vol. 7 , pp. 67–73. [REVIEW]M. R. Krom - 1970 - Journal of Symbolic Logic 35 (1):146-147.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-6mvtb uwo